Workshop on Modularization, Composition, and Generative Techniques for Product Line Engineering
نویسندگان
چکیده
Event-B [19] is a language for the formal specification and verification of reactive systems. The language and its RODIN toolkit represent a leading model-based technology for formal software construction. However, scalability is a major current concern, especially the dimension of reusability. We outline a proposed infrastructure for scalable development with reuse for Event-B. We focus specifically on our agenda for reuse in Software Product Lines, and explain how a form of feature modelling will be central to this programme.
منابع مشابه
Aspect-Oriented Model-Driven Software Product Line Engineering
Software product line engineering aims to reduce development time, effort, cost, and complexity by taking advantage of the commonality within a portfolio of similar products. The effectiveness of a software product line approach directly depends on how well feature variability within the portfolio is implemented and managed throughout the development lifecycle, from early analysis through maint...
متن کاملTowards a Holistic Approach for Integrating Middleware with Software Product Lines Research
Prior research on software product lines (SPLs) in different domains (e.g., avionics mission computing, automotive, cellular phones) has focused primarily on managing the commonalities and variabilities among product variants at the level of application functionality. Despite the fact that the application-level SPL requirements drive the specializations (i.e., customizations and optimizations) ...
متن کاملMapping Features to Aspects: A Model-Based Generative Approach
Handling the various derivations of an aspect-oriented software famility architecture can be a daunting and costly task if explicit support is not systematically provided throughout early and late development artifacts. Aspectoriented software development (AOSD) has been recently explored by several research works as a technique that enables software product line customization. However, the app...
متن کاملApplying Ontology Modularization for Corporate Ontology Engineering
As an innovative approach for developing and maintaining continuously evolving ontologies in corporate context the Corporate Ontology Lifecycle Methodology aims at providing an intuitive understanding of rising costs per iteration. In this regard having a close look at ontology partitioning techniques as well as module extraction approaches is very promising, because modular reuse of ontologies...
متن کاملThe Hyper/UML Approach for Feature Based Software Design
The market requests complex but adaptable software systems. There are different concepts to meet this demand, for example software reusability, component-based development, agile processes, generative programming and domain analysis. For similar products within a domain product lines are a very promising approach for shortening development time and cost and for improving quality. Software produ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008